Mathematical proofs - PDFSEARCH.IO - Document Search Engine

Mathematical proofs
Results: 343

#	Item
151	Automated Certified Proofs with CiME3∗ ´ Contejean1,2 E. P. Courtieu3 Add to Reading List Source URL: cedric.cnam.fr Language: English - Date: 2011-02-13 18:15:50 Applied mathematics Automated theorem proving Formal languages Logic in computer science Computability theory Termination analysis Mathematical proof Rewriting Heuristic Theoretical computer science Mathematics Mathematical logic
152	Modern Cryptography, Probabilistic Proofs and Pseudorandomness (Second Edition – author’s copy) Oded Goldreich Department of Computer Science and Applied Mathematics Weizmann Institute of Science, Rehovot, Israel. Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2009-03-21 13:40:58 Pseudorandomness Mathematical logic Oded Goldreich Algorithmic information theory Pseudorandom generator Silvio Micali Probabilistically checkable proof Mathematical proof Randomness Theoretical computer science Applied mathematics Cryptography
153	VINCULUM VOLUME 44 TERM[removed]MathSnacks Proofs Without (too Many) Words Add to Reading List Source URL: www.qedcat.com Language: English - Date: 2009-12-04 22:22:22 Discrete geometry Harmonic analysis Kakeya set Real analysis Number theorists Terence Tao Abram Samoilovitch Besicovitch Prime number Hermitian matrix Mathematics Mathematical analysis Fellows of the Royal Society
154	VINCULUM VOLUME 42 NUMBER 3 SEPTEMBER 2005 Mathematical inquiry – from a snack to a meal Add to Reading List Source URL: www.qedcat.com Language: English - Date: 2008-03-04 04:55:52 Proof theory Logical syntax Philosophical logic Formal systems Logical truth Mathematical proof Philosophy of mathematics Theorem Proofs and Refutations Logic Mathematics Science
155	Towards the Formal Certification of a Mathematical Encyclopedia on the Web Fr´ed´eric Chyzak and Assia Mahboubi∗ Keywords Coq, formal proofs, computer algebra, hypergeometric sums, creative telescoping, Ap´ery const Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-12-15 11:46:42 Applied mathematics Mathematical logic Formal methods Automated theorem proving Coq Mathematical proof Proof assistant Formal verification Correctness Mathematics Logic Theoretical computer science
156	International Mathematical Olympiad 1989 Hong Kong Preliminary Selection Contest Outline of Solutions Section A Add to Reading List Source URL: www.mathdb.org Language: English - Date: 2004-01-04 14:01:28 Curves Proof theory Circle Pi Mathematical induction Cubic function Mathematical fallacy Mathematics Geometry Mathematical proofs
157	International Mathematical Olympiad 2003 HK Preliminary Selection Contest (May 23, 2002) Solutions 1. We only need to consider the case 10 n = 2 n × 5 n . (In other cases, there will be a zero as unit Add to Reading List Source URL: www.mathdb.org Language: English - Date: 2004-01-04 14:01:26 Trigonometric functions Sine Pythagorean theorem Triangle Law of cosines Range of a projectile Proofs of trigonometric identities Pythagorean trigonometric identity Geometry Mathematics Trigonometry
158	Mathematical Case Studies: the Complex Numbers∗ Rob Arthan [removed] 5 August 2012 Abstract Definitions of the complex numbers and their arithmetic operators in ProofPowerHOL with proofs of some of their elemen Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2012-08-05 11:01:31 Exponential function Exponentials Complex number Function Differential equation Complex normal distribution Z-transform Mathematics Mathematical analysis Functions and mappings
159	CompCert Formally Verified Optimizing C Compiler CompCert is an optimizing C compiler which is formally verified, using machine-assisted mathematical proofs, to guarantee the absence of compiler bugs. The code it produce Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-03-16 07:37:07 Functional languages Programming language implementation Compcert Logic in computer science Xavier Leroy Compiler GNU Compiler Collection Software Computing Compilers
160	Mathematical Induction MATHEMATICAL INDUCTION Helen Bush Reflections, August 1992 Add to Reading List Source URL: hsc.csu.edu.au Language: English - Date: 2012-01-30 10:36:01 Proof theory Mathematical logic Integer sequences Mathematical series Mathematical induction Pi Factorial Mathematical fallacy Binomial coefficient Mathematics Mathematical analysis Mathematical proofs

UPDATE